- idUS
- Listar por autor
Listar por autor "Ceballos Guerrero, Rafael"
Mostrando ítems 1-20 de 40
-
Ponencia
A heuristic polynomial algorithm for local inconsistency diagnosis in firewall rule sets
Pozo Hidalgo, Sergio; Ceballos Guerrero, Rafael; Martínez Gasca, Rafael (SciTePress, 2008)Firewall ACLs can contain inconsistencies. There is an inconsistency if different actions can be taken on the same flow ...
-
Artículo
A heuristic process for local inconsistency diagnosis in firewall rule sets
Pozo Hidalgo, Sergio; Martínez Gasca, Rafael; Ceballos Guerrero, Rafael (2009) -
Ponencia
A model integration of DX an FDI techniques for automatic determination of minimal diagnosis
Ceballos Guerrero, Rafael; Gómez López, María Teresa; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del (2005)Two communities work in parallel in model-based diagnosis: FDI and DX. In this work an integration of the FDI and the ...
-
Ponencia
A Pomset-Based Model for Estimating Workcells' Setups in Assembly Sequence Planning
Valle Sevillano, Carmelo del; Toro Bonilla, Miguel; Ceballos Guerrero, Rafael; Aguilar, Jesús (Springer, 2002)This paper presents a model based on pomsets (partially ordered multisets) for estimating the minimum number of setups ...
-
Ponencia
A Topological-Based Method for Allocating Sensors by Using CSP Techniques
Ceballos Guerrero, Rafael; Cejudo, V.; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del (Springer, 2005)Model-based diagnosis enables isolation of faults of a system. The diagnosis process uses a set of sensors (observations) ...
-
Ponencia
An Integration of FDI and DX Techniques for Determining the Minimal Diagnosis in an Automatic Way
Ceballos Guerrero, Rafael; Pozo Hidalgo, Sergio; Valle Sevillano, Carmelo del; Martínez Gasca, Rafael (Springer, 2005)Two communities work in parallel in model-based diagnosis: FDI and DX. In this work an integration of the FDI and the DX ...
-
Artículo
An integration of model-based techniques for determining the minimal diagnosis
Ceballos Guerrero, Rafael; Gómez López, María Teresa; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del (Asociación Española para la Inteligencia Artificial, 2006) -
Ponencia
Applying Constraint Databases in the Determination of Potential Minimal Conflicts to Polynomial Model-Based Diagnosis
Gómez López, María Teresa; Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del (Springer, 2004)Model-based Diagnosis allows the identification of the parts which fail in a system. The models are based on the knowledge ...
-
Ponencia
Arquitectura de un crawler para extraer las estructuras y contenidos de recursos electrónicos
Rosa Troyano, Francisco Fernando de la; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Ceballos Guerrero, Rafael (Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software (SISTEDES), 2002) -
Ponencia
Behavioral pattern analysis of secure migration and communications in eCommerce using cryptographic protocols on a mobile MAS platform
Pozo Hidalgo, Sergio; Martínez Gasca, Rafael; Ceballos Guerrero, Rafael (IEEE Computer Society, 2005)Mobile Multi-Agent Systems (MAS) systems can be used with real success in a growing number of eCommerce applications ...
-
Ponencia
Constraint Databases Technology for Polynomial Models Diagnosis
Gómez López, María Teresa; Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del (2004)Model-based Diagnosis allows the identification of the parts which fail in a system. The models are based on the knowledge of ...
-
Artículo
Constraint satisfaction techniques for diagnosing errors in Design by Contract software
Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Borrego Núñez, Diana (Association for Computing Machinery (ACM), 2006)Design by Contract enables the development of more reliable and robust software applications. In this paper, a methodology that ...
-
Capítulo de Libro
Constraint-Driven Fault Diagnosis
Martínez Gasca, Rafael; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael (Springer, 2019)Constraint-Driven Fault Diagnosis (CDD) is based on the concept of constraint suspension [6], which was proposed as an ...
-
Artículo
CSP aplicados a la diagnosis basada en modelos
Ceballos Guerrero, Rafael; Valle Sevillano, Carmelo del; Gómez López, María Teresa; Martínez Gasca, Rafael (Asociación Española para la Inteligencia Artificial, 2003)En las ´ultimas d´ecadas, parte de la comunidad cient´ıfica ha dedicado sus esfuerzos al desarrollo de una metodolog´ıa ...
-
Artículo
CSP y Bases de Datos Restrictivas
Gómez López, María Teresa; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Ceballos Guerrero, Rafael (Asociación Española para la Inteligencia Artificial, 2003)Las Bases de Datos Restrictivas se originaron ante la necesidad de representar de forma m´as compacta y modular datos de ...
-
Artículo
CyberSPL: Framework for the verification of cybersecurity policy compliance of system configurations using software product lines
Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael; Ceballos Guerrero, Rafael; Gómez López, María Teresa; Bernáldez Torres, Pedro (MDPI, 2019)Cybersecurity attacks affect the compliance of cybersecurity policies of the organisations. Such disadvantages may be due ...
-
Ponencia
CyberSPL: Plataforma para la verificación del cumplimiento de políticas de ciberseguridad en configuraciones de sistemas usando modelos de caracterısticas
Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael; Ceballos Guerrero, Rafael; Bernáldez Torres, Pedro (Universidad de Extremadura, 2019)Los ataques de ciberseguridad se han convertido en un factor muy relevante que pueden contravenir el cumplimiento de las ...
-
Ponencia
Determination of an optimal test points allocation for business process analysis
Borrego Núñez, Diana; Gómez López, María Teresa; Martínez Gasca, Rafael; Ceballos Guerrero, Rafael (IEEE Computer Society, 2010)The management and automation of business processes have become an essential task within IT organizations. Diagnosis ...
-
Ponencia
Determination of Possible Minimal Conflict Sets Using Constraint Databases Technology and Clustering
Gómez López, María Teresa; Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Pozo Hidalgo, Sergio (Springer, 2004)Model-based Diagnosis allows the identification of the parts which fail in a system. The models are based on the knowledge ...
-
Artículo
Developing a labelled object-relational constraint database architecture for the projection operator
Gómez López, María Teresa; Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del (Elsevier, 2009)Current relational databases have been developed in order to improve the handling of stored data, however, there are some ...